Modelling and Reasoning about Remediation Actions in BDI Agents
نویسندگان
چکیده
Remediation actions are performed in scenarios in which consequences of a problem should be promptly mitigated when its cause takes too long to be addressed or is unknown. Existing approaches that address these scenarios are application-specific. Nevertheless, the reasoning about remediation actions as well as cause identification and resolution, in order to address problems permanently, can be abstracted in such a way that they can be incorporated to agents. In this paper, we present a domain-independent approach that extends the belief-desire-intention (BDI) architecture, providing means of modelling and reasoning over causal relationships and remediation actions.
منابع مشابه
Towards a Framework for Reasoning About Emotional BDI Agents
The BDI model of agency is a well studied concept in Formal Logic for Rational Agents, mainly through the BDICTL [7] and KARO [7] logical frameworks. The former is based on the Branching Time Logic CTL [3], whereas the latter in based on Dynamic Logic [4]. Both have advantages and disadvantages, but the union of some properties of both frameworks provide, in our opinion, all the formal tools th...
متن کاملAn Expectation Framework for Agent Social Reasoning
In multi-agent systems it is necessary for agents to reason not only about their actions, but also about their interactions with others. I hypothesise that there are benefits to separating social from practical reasoning systems such as BDI, and propose a possible solution.
متن کاملManaging Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments
The Belief-Desire-Intention (BDI) architecture is a practical approach for modelling large-scale intelligent systems. In the BDI setting, a complex system is represented as a network of interacting agents – or components – each one modelled based on its beliefs, desires and intentions. However, current BDI implementations are not well-suited for modelling more realistic intelligent systems whic...
متن کاملReasoning about Goals in BDI Agents: the PRACTIONIST Framework
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-oriented software engineering. Moreover goals are more useful and stable abstractions than others (e.g. user stories) in the analysis and design of software applications. Thus, the PRACTIONIST framework supports a goal-orien...
متن کاملg-BDI: A Graded Intensional Agent Model for Practical Reasoning
In intentional agents, actions are derived from the mental attitudes and their relationships. In particular, preferences (positive desires) and restrictions (negative desires) are important proactive attitudes which guide agents to intentions and eventually to actions. In this paper we overview recent developments about a multi-context based agent architecture g-BDI to represent and reasoning a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017